Search results for "modālā loģika"

Informācijas pārvietošanās koncepcijas inkorporācija Artura Normena Praiora A-sērijas temporālajā loģikā

2016

Šajā darbā tiek aplūkota problēma – kā temporālajā loģikā formalizēt informācijas pārvietošanās koncepciju? Šīs problēmas kontekstā izvirzīts darba mērķis – inkorporēt informācijas pārvietošanās koncepciju loģiķa Artura Normena Praiora A–sērijas temporālajā loģikā. Lai sasniegtu šo mērķi, izvirzīti trīs uzdevumi. Pirmkārt, sniegt vispārīgu ieskatu temporālās loģikas pētniecības priekšmetā un pamatelementos, kas konstituēs darbā izstrādātās loģikas kodolu. Otrkārt, izveidot informācijas pārvietošanās temporālās loģikas sintaksi, semantiku un piedāvāt šīs loģikas iespējamās variācijas. Treškārt, aplūkot darbā izveidotās loģikas ekspresivitātes ierobežojumus un konsekvences dažu laika filozofi…